proof method
英 [pruːf ˈmeθəd]
美 [pruːf ˈmeθəd]
网络 证明方法
双语例句
- Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。 - I used the form to enumerate between them the difference proof method, I divided into these arguments three different categories, namely: The movement is same, the significance is different;
我采用了表格列举它们之间的差异的论证方法，我把这些论据分成三个不同的类别，即：动作一样，意义不同； - On the Some Proof Method of Binomial Coefficient Indentity
浅谈二项式系数恒等式的几种证明方法 - In this paper, we discuss and obtain an analytic intuitionistic proof method of the variables chang formula in double integrals and give a simple proof method.
在一般教材中二重积分变量代换公式的证明通常采用几何的方法，也有部分数学分析教材给与了严格的分析证明，但证明不便直观的几何说明。 - The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。 - The application of fool-proof method in the library
Fool-Proof法在图书馆工作中的应用浅探 - A Proof Method of the Continuity of the Power Series in Convergence Region
幂级数在收敛区间内连续性的一种证法 - In this article, a method of mathematical logic is applied to analysis of some proof methods which are usually used in mathematics. It provides a theory basis on which proof method can be applied more correctly and conveniently.
文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析，为正确简便地运用数学证明方法提供了理论依据。 - Chapter two summarizes several proof method of minimax theorems, which are illustrated with examples;
第二章总结了极大极小定理的几种证明方法，并举出例子进行说明； - New Proof Method of Dixon Theorem in Huang Variable Metric Method
Huang族变尺度算法中Dixon定理的新证明 - Authenticating the proof system is an inevitable outcome that human society development progresses, is a proof method reasonableness with the civilized marking.
鉴定证据制度是人类社会发展进步的必然产物，是证明方法理性和文明的标志。 - A new proof method is introduced to study the convergence problems of the modified Mann and Ishikawa iterative process with errors for asymptotically nonexpansive mappings in uniformly convex Banach spaces.
在一致凸的Banach空间中，使用了一种新的证明方法研究了渐近非膨胀映象具误差的修正Mann和Ishikawa迭代程序的收敛性问题； - The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。 - In general theory, it emphasizes on distinguishing the existence and demonstration of evidence and proof method of it.
如通说观点认为，应注意区别作为划分标准的证据存在和表现形式与证据的证明方式。 - Its basic contents include that the proof method is free from the restriction, the law can't make a restriction to the proof ability and the free evaluation to the proof value.
它的基本内容包括证据方法上的不受限制，法律不对证据能力作出限制及对证据价值的自由评价。 - A new proof method for two geometry theorems
两个几何定理的一种新证法 - From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。 - Study on the Proof Method of Authentication Protocols Based on Strand Space
基于Strand空间的认证协议证明方法研究 - This paper presents the convolution law of the density of states and its proof. The proof method provided is quite simple.
本文论述了态密度的卷积律及其证明，给出了态密度的卷积律的一个简洁的证明。 - Logical Analysis of Mathematics Proof Method
数学证明方法的逻辑分析 - Methods The induction and analogy were used to obtain a new general expression of Diaz-Metcalf's inequality and give a proof method of succinct and interesting structure.
方法采用归纳类比思想方法得到了Diaz-Met-calf不等式的新推广式后，给出了简洁有趣的构造性方法的证明。 - By analyzed the problem of "average inverse sequence numbers" concerning about sorting algorithm, a new kind of proof method that gain the result had been given in this thesis. The new methods simplify the prove procedure significantly in comparison with the existing proof method.
分析了有关排序算法中的平均逆序个数问题，给出了此结果的一个新的证明，从而使现有的证明方法得到了较大幅度地简化。 - After simulation of MATLAB proof method is feasible, and carries on test to digitized pulse laser signal processing system, receives the good results.
经MATLAB仿真证明方法可行，并对数字化脉冲激光信号处理系统进行实验测试，收到良好效果。 - The development of science and technology has made a great improvement on judicial proof method. Electronic evidence which belongs to the cross field of social sciences and natural sciences was born with the development of science and technology.
科学技术的进步对司法证明方法的发展一直起着重要的推动作用，电子证据是科学技术发展过程中产物，属于社会科学与自然科学交叉的研究领域。 - The formalized method is mainly divided into three kinds: formal logic method based on knowledge and belief, model checking method and theorem proof method.
安全协议形式化分析方法主要分为三类：基于知识和信念的形式逻辑方法、模型检测方法和定理证明方法。 - The introduction of the administration of justice rhetoric proof method, you can make up for deficiencies in the traditional method of syllogistic argument.
在司法裁判中引入修辞论证方法，可以弥补传统三段论论证方法的不足。 - Based on the purpose of proof and efficiency, the proof method of procedural facts is different from the substantive facts.
基于程序法事实的证明目的与诉讼效率的应对，程序法事实在证明方法上与实体法事实有着根本的不同。 - In addition, that extreme theoretical assumptions, which used in the indirect proof of theoretical assumptions and mathematical proof method, is the first in this paper.
极端理论假设的间接证明中使用的理论假设和数学证明方法，是本文中的首创的。 - And the proof method of the key technical has certain value for experiment of teaching.
同时关键技术规律特性的验证方法在实验教学环节具有一定的实用价值。 - The automatic proof method for the DoS-resistance of remote Internet voting protocol has been researched. A model based on theorem proof for DoS-resistance is proposed.
对远程网络投票协议的抗拒绝服务攻击性的自动化证明方法进行了研究，提出一个基于定理证明的抗拒绝服务攻击性自动化证明模型。